Μ operator - PDFSEARCH.IO - Document Search Engine

Μ operator
Results: 274

#	Item
1	Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-07-25 10:12:01 Computability theory Process calculi Π-calculus Theory of computation Function Valuation Logarithm Μ operator Primitive recursive function Mathematics Theoretical computer science Functions and mappings
2	A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-27 05:38:59 Logic Denotational semantics Admissible rule Orbifold Μ operator Mathematical logic Theoretical computer science Symbol
3	Lowness Properties and Approximations of the Jump Santiago Figueira ∗ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:58:00 Theoretical computer science Mathematical logic Theory of computation Recursion Primitive recursive function Function Μ operator Fixed-point combinator Mathematics Computability theory Functions and mappings
4	Topology in distributed computing Final project: black box x-consensus objects Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-08-03 17:19:31 Model theory Algebra Structure Group theory Orbifold Μ operator Mathematics Abstract algebra Metalogic
5	Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:08:48 Metalogic Symbol Interpretation Structure Μ operator Linear temporal logic Model theory Logic Mathematics
6	Quantum Computing and Cryptography Spring Semester 2011 Steve Vickers The University of Birmingham School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-01-25 05:53:28 Μ operator Eigenvalue perturbation
7	Sessions as Propositions Sam Lindley and J. Garrett Morris The University of Edinburgh {Sam.Lindley,Garrett.Morris}@ed.ac.uk Abstract Recently, Wadler presented a continuation-passing translation from a session-typed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-04-18 17:24:35 Mathematical logic Universal quantification Uniform space Linear temporal logic Μ operator Mathematics Function Topology
8	ON THE DISTRIBUTION OF THE NUMBER OF CYCLES OF ELEMENTS IN SYMMETRIC GROUPS Don Zagier Max-Planck-Institut f¨ ur Mathematik, Bonn Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2011-06-28 09:31:55 Combinatorics Permutation Homotopy theory Operator theory Μ operator Proof that π is irrational Mathematics Abstract algebra Mathematical analysis
9	Department of the Environment Dry Cleaner Compliance CalendarLarry Hogan, Governor Boyd Rutherford, Lt. Governor Add to Reading List Source URL: www.mde.state.md.us Language: English - Date: 2015-04-14 21:27:53 Occupational safety and health Waste Μ operator Hazardous waste Business Dry cleaning Garment industry Laundry

UPDATE